Systems theory

Results: 13321



#Item
41Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

Add to Reading List

Source URL: people.cs.kuleuven.be

- Date: 2017-07-28 06:55:52
    42Master’s Degree in High Performance Computing, Information Theory and Security Optimizing Performance for Coalition Structure Generation Problems in Multicore Systems

    Master’s Degree in High Performance Computing, Information Theory and Security Optimizing Performance for Coalition Structure Generation Problems in Multicore Systems

    Add to Reading List

    Source URL: www.iiia.csic.es

    - Date: 2015-10-07 06:43:09
      43A ray casting method for the computation of the area of feasible solutions for multicomponent systems: Theory, applications and FACPACK-implementation. Mathias Sawalla , Klaus Neymeyra,b a Universit¨ at

      A ray casting method for the computation of the area of feasible solutions for multicomponent systems: Theory, applications and FACPACK-implementation. Mathias Sawalla , Klaus Neymeyra,b a Universit¨ at

      Add to Reading List

      Source URL: alf.math.uni-rostock.de

      - Date: 2016-12-06 11:03:08
        44ANIMAL BEHAVIOUR, 1999, 57, 409–419 Article No. anbe, available online at http://www.idealibrary.com on Quantitative tools for comparing animal communication systems: information theory applied to bottlenose

        ANIMAL BEHAVIOUR, 1999, 57, 409–419 Article No. anbe, available online at http://www.idealibrary.com on Quantitative tools for comparing animal communication systems: information theory applied to bottlenose

        Add to Reading List

        Source URL: www.eve.ucdavis.edu

        - Date: 2009-03-12 22:05:36
          4597. MATEMATICKÉ KOLOKVIUM DYNAMICAL SYSTEMS AND RAMSEY THEORY Benjamin Weiss

          97. MATEMATICKÉ KOLOKVIUM DYNAMICAL SYSTEMS AND RAMSEY THEORY Benjamin Weiss

          Add to Reading List

          Source URL: kam.mff.cuni.cz

          - Date: 2016-10-07 12:00:04
            46MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

            MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

            Add to Reading List

            Source URL: is.ieis.tue.nl

            - Date: 2012-10-15 14:00:48
              47Privacy Consensus in Anonymization Systems Via Game Theory Rosa Karimi Adl, Mina Askari, Ken Barker, and Reihaneh Safavi-Naini Department of Computer Science, University of Calgary, Canada {rkarimia,maskari,kbarker,rei}@

              Privacy Consensus in Anonymization Systems Via Game Theory Rosa Karimi Adl, Mina Askari, Ken Barker, and Reihaneh Safavi-Naini Department of Computer Science, University of Calgary, Canada {rkarimia,maskari,kbarker,rei}@

              Add to Reading List

              Source URL: dspace.ucalgary.ca

              - Date: 2015-03-19 05:09:30
                48LBT  for     Procedural  and  Reac1ve  Systems     Part  2:  Reac1ve  Systems  –   Basic  Theory  

                LBT  for     Procedural  and  Reac1ve  Systems     Part  2:  Reac1ve  Systems  –   Basic  Theory  

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2015-06-11 07:30:36
                  49MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

                  MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

                  Add to Reading List

                  Source URL: is.ieis.tue.nl

                  - Date: 2012-05-24 07:58:19
                    50Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

                    Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

                    Add to Reading List

                    Source URL: theory.stanford.edu

                    - Date: 2014-08-19 20:11:20